Knowledge representation of the software architecture design process based on situation calculus
نویسندگان
چکیده
منابع مشابه
a study on the design of bio-ethanol process from date wastes of sistan and baluchistan province
اتانول کاربردهای متنوعی در صنایع لاستیک سازی، رنگسازی، حلالها ومکمل سوخت خودرو دارد. اتانول برخلاف نفت از جمله مواد تجدیدپذیر محسوب می شود که مشکلات زیست محیطی و آلودگی نیز ایجاد نمی کند. استفاده از اتانول به عنوان مکمل سوختخودروها از جمله مهمترین مصارف صنعتی این ماده بشمار می رود. با توجه به این موضوع تحقیق و توسعه در زمینه تولید اتانول با درجه خلوص بالا در سطح جهان، و نه تنها در کشور های پیشر...
Representation of Temporal Knowledge in the Situation Calculus
In this article we deal with the problem of using temporal knowledge in the specification of the dynamics of a database. Temporal knowledge is formalized with formulas that refer to the evolution of the database. In the article we analyze several problems involving temporal knowledge: (1) Specification of complex temporal preconditions for database transactions. (2) Specification and maintenanc...
متن کاملthe washback effect of discretepoint vs. integrative tests on the retention of content in knowledge tests
در این پایان نامه تاثیر دو نوع تست جزیی نگر و کلی نگر بر به یادسپاری محتوا ارزیابی شده که نتایج نشان دهندهکارایی تستهای کلی نگر بیشتر از سایر آزمونها است
15 صفحه اولOn the Progression of Knowledge in the Situation Calculus
In a seminal paper, Lin and Reiter introduced the notion of progression for basic action theories in the situation calculus. Earlier works by Moore, Scherl and Levesque extended the situation calculus to account for knowledge. In this paper, we study progression of knowledge in the situation calculus. We first adapt the concept of bisimulation from modal logic and extend Lin and Reiter’s notion...
متن کاملA Knowledge Based Approach to Enhance Software Architecture Review Process
The software architecture [SA] has received increasing attention as an important subfield of software engineering. The Software Architecture is the foundation for building any software and it is deciding the quality of software. Evaluating Software Architecture is a key part in software development. This paper intends to increase the consistency of software architecture evaluation process to a ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Expert Systems
سال: 2012
ISSN: 0266-4720
DOI: 10.1111/j.1468-0394.2012.00620.x